Forum as a Logic Programming Language: Preliminary Report
نویسندگان
چکیده
منابع مشابه
Forum as a Logic Programming Language: Preliminary Report
When Miller introduced Forum he called it a speciication logic, rather than a logic programming language. In this paper we outline those features that create problems in attempting to implement an interpreter for the language, and describe solutions to those problems. We show how techniques used in the implementation of Lolli can be extended naturally to Forum. Finally, we show two Forum progra...
متن کاملLogical Properties in Defeasible Logic Programming – a preliminary report –
Logics for nonmonotonic reasoning have often been described by the property they lack—that is, monotonicity—instead of by those they do enjoy. These theories flourished in the early ‘80s in response to the inconveniences incomplete and changing information posed to classic, monotonic approaches. Several nonmonotonic formalisms were introduced in the literature: inheritance networks, default log...
متن کاملLaPeL: a Logic Programming Language
Where ~t is a sequence of terms, ~x is a sequence of variables, and ~a is a sequence of assumptions. In the assumptions we write implication in the opposite direction than we normally do (i.e., “p(~t ) ⊂ g” rather than “g ⊃ p(~t )”). This is a standard convention in logic programming (e.g., Prolog) because it makes it easier for the programmer to understand the program; the meaning of implicati...
متن کاملA Fuzzy Logic Programming Language
We present a new fuzzy logic programming Language, called LIKELOG, to be used for approximated reat;oning and for fuzzy deductive database applications. The core component of the system is the algori thm of unification, which expands the Martelli-Montanari unification algorithm introducing two similarity relations. The resolution mechanism is a straightforward application of this kind of expand...
متن کاملLaPeL: a Logic Programming Language
Where ~t is a sequence of terms, ~x is a sequence of variables, and ~a is a sequence of assumptions. In the assumptions we write implication in the opposite direction than we normally do (i.e., “p(~t ) ⊂ g” rather than “g ⊃ p(~t )”). This is a standard convention in logic programming (e.g., Prolog) because it makes it easier for the programmer to understand the program; the meaning of implicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1996
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80418-9